841. Selected Papers of Alan Hoffman with Commentary
پدیدآورنده : \ edited by Charles A. Micchelli
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Combinatorial analysis, programming (Mathematics),آنالیز ترکیبی ,برنامه‌نویسی (ریاضیات),a03,a04,a03,a04
رده :
E-Book
,
842. Selected papers of Alan Hoffman with commentary /
پدیدآورنده : edited by Charles A. Micchelli.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis.,Programming (Mathematics),Combinatorial analysis.,MATHEMATICS-- Combinatorics.,Programming (Mathematics)
رده :
QA164
.
H64
2003eb
843. Selected papers of Alan Hoffman with commentary
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Combinatorial analysis. ; Programming (Mathematics) ;
844. Self-regularity: a new paradigm for primal-dual interior-point algorithms
پدیدآورنده : Peng, Jiming
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Mathematical optimization,، Interior-point methods,، Programming )Mathematics(
رده :
QA
402
.
5
.
P4185
845. Semantics and algebraic specification
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
846. Semantics of the probabilistic typed lambda calculus : Markov Chain semantics, termination behavior, and denotational semantics
پدیدآورنده : Draheim, Dirk, 9691-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,Mathematics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
D72S4
847. Semi-Infinite programming and applications : an international symposium Austin, Texas, September 8-10, 1981
پدیدآورنده : / Edited by A. V. Fiacco, K. O. Korta
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Programming (Mathematics) - Congresses,Mathematics optimization - Congresses,Daulity theory Mathematics - Congresses
رده :
QA402
.
5
.
S428
1983
848. Semi-infinite programming and applications : an international symposium, Austin, Texas, September 8-10, 1981
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Programming ]Mathematics[-- Congresses,، Mathematical optimization-- Congresses,، Duality theory ]Mathematics[-- Congresses
رده :
QA
402
.
5
.
S428
1983
849. Semi-infinite programming
پدیدآورنده : edited by Rembert Reemtsen, Jan-J. Ruckmann
کتابخانه: (طهران)
موضوع : Linear programming , Programming )Mathematics(
رده :
T
57
.
74
.
S535
1998
850. Semi-infinite programming
پدیدآورنده : edited by Rembert Reemtsen, and Jan-J. Ruckmann
موضوع : Linear programming,Programming (Mathematics)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
851. Semi-infinite programming
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Linear programming,، Programming )Mathematics(
رده :
T
57
.
74
.
S535
1998
852. #Sensitivity, stability, and parametric analysis
پدیدآورنده : #edited by Anthony V. Fiacco , B. Bank ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (أصبهان)
موضوع : Programming )Mathematics(
رده :
#
QA
،#.
S46
،#
1984
853. Sensitivity,stability,& parametric analysis
پدیدآورنده : FIACCO,ANTHONY V ED
کتابخانه: (طهران)
موضوع : PROGRAMMING )MATHEMATICS(-ADDRESSES,
رده :
QA
402
.
5
.
S46
854. Set-valued optimization :an introduction with applications
پدیدآورنده : Khan, Akhtar A
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : ، Duality theory )Mathematics(,، Programming )Mathematics(,، Set-valued maps,، Mathematical optimization
رده :
QA
402
.
5
.
K45
2015
855. Set-valued optimization: an introduction with applications
پدیدآورنده : Khan, Akhtar A
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Duality theory )Mathematics(,، Mathematical optimization,، Set-valued maps,، Programming )Mathematics(
رده :
QA
1
.
K45
2015
856. Simple digital computing examples
پدیدآورنده : Gregory, Malcolm S.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Electronic digital computers-- Programming,، Mathematics-- Data processing
رده :
QA
76
.
5
.
G69
857. Simplicial global optimization
پدیدآورنده : Remigijus Paulavičius, Julius Žilinskas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis.,Mathematics.,Nonconvex programming.
858. Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 1819, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 1819, 2021, Revised Selected Papers
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : COMPUTERS / Programming / General ; Mathematics ; Science ; Sciences ;
859. Solution manual opertions research an introduction
پدیدآورنده : Taha, Hamdy A.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Handbooks, manuals, etc ، Operations research,، Programming )Mathematics(
رده :
T
57
.
6
.
T32
1987
manual
860. Some vistas of modern mathematics:dynamics programming,invariant
پدیدآورنده : BELLMAN,RICHARD ERNEST
کتابخانه: (طهران)
موضوع : PROGRAMMING )MATHEMATICS(-ADDRESSES, , INVARIANT IMBEDDING-ADDRESSES,ESSAYS, , BIOMATHEMATICS-ADDRESSES,
رده :
QA
264
.
B45
